div

@SinceKotoolsTypes(version = "4.1")
operator fun AnyInt.div(other: NonZeroInt): Int
@SinceKotoolsTypes(version = "4.1")
operator fun NegativeInt.div(other: StrictlyPositiveInt): NegativeInt
@SinceKotoolsTypes(version = "4.1")
operator fun NegativeInt.div(other: StrictlyNegativeInt): PositiveInt
@SinceKotoolsTypes(version = "4.1")
operator fun Int.div(other: NonZeroInt): Int
@SinceKotoolsTypes(version = "4.1")
operator fun PositiveInt.div(other: StrictlyPositiveInt): PositiveInt
@SinceKotoolsTypes(version = "4.1")
operator fun PositiveInt.div(other: StrictlyNegativeInt): NegativeInt

Divides this integer by the other one, truncating the result to an integer that is closer to zero.